[State Machine] Final state is a special kind of state signifying that the enclosing Region is completed.
